Derivability conditions on Rosser's provability predicates.
نویسندگان
چکیده
منابع مشابه
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem
Fifth of a series of articles laying down the bases for classical first order model theory. This paper presents multiple themes: first it introduces sequents, rules and sets of rules for a first order language L as L-dependent types. Then defines derivability and provability according to a set of rules, and gives several technical lemmas binding all those concepts. Following that, it introduces...
متن کاملReflection using the derivability conditions
We extend arithmetic with a new predicate Pr, giving axioms for Pr based on first-order versions of Lob's derivability conditions. We hoped that the addition of a reflection schema mentioning Pr would then give a non-conservative extension of the original arithmetic theory. The paper investigates this possibility. It is shown that, under special conditions, the extension is indeed non-conservat...
متن کاملNotes on Provability Logic
This notes provides a brief survey that reflects the early development of provability logic. It includes a detailed exposition of Gödel’s incompleteness results, the Löb theorem, and the arithmetical completeness theorems of Solovay.
متن کاملOn Provability Logic
This is an introductory paper about provability logic, a modal propositional logic in which necessity is interpreted as formal provability. We discuss the ideas that led to establishing this logic, we survey its history and the most important results, and we emphasize its applications in metamathematics. Stress is put on the use of Gentzen calculus for provability logic. We sketch our version o...
متن کاملStatistical theory of logical derivability
A generalization of notions like "theory" in the sense of mathematical logic, "Markov (normal) algorithm" etc., is described; the new notion is called "formal system". The generalization of notions "validity", and also of notion "provability" of formulas is the notion "derivability". Derivability is studied using statistical methods, analogous to the methods used in the statistical theory of de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1990
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635585